#!/bin/bash

echo "Executando Maude"
./Maude/maude-linux64/maude.linux64 PetriNetGals.maude > Debug/PetriNetGals.saida
echo "Gerando Arquivo Temporario"
cat Debug/PetriNetGals.saida | python scripts/maude2dotInterleaving.py > Debug/PetriNetGals.temp
echo "Gerando Codigo dot"
cat Debug/PetriNetGals.temp | python scripts/maude2dot2.py > Debug/PetriNetGals.dot
echo "Gerando Imagem jpg"
dot -Tjpg Debug/PetriNetGals.dot -o PetriNetGals.jpg
read -p 'Digite [Enter] para continuar...'
